prove irrational

join shbcf.ru